Search Results
Justin Le - Singletons and You in Haskell - λC 2017
Justin Le - Enhancing your Haskell with Dependently Typed Programming - λC 2017
Sandy Maguire - Some1 Like You Dependent Pairs in Haskell - λC 2017
Haskell Symposium 2012. Richard Eisenberg: Dependently typed programming with singletons.
Jake Keuhlen - One Year In: A Beginner's Take on the Difficulties of Learning Haskell - λC 2017
A Specification for Dependent Types in Haskell
Sukant Hajra - Less is More with MonadReader - λC 2017
Introductory Talk About Dependent Types and Idris
Ryan Orendorff - Deforestation and Program Fusion - λC 2017
Haskell Symposium 2012.Gabriele Keller: Vectorisation Avoidance.
Dependent types
Chris Allen: RankNTypes Ain't Rank at All - λC 2016
